1. Applications of process algebra
المؤلف: edited by J.C.M. Baeten
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
2. Applications of process algebra
المؤلف: / J.C.M. Baeten
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
3. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
4. Automata, logics, and infinite games
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
5. Automata, logics, and infinite games
المؤلف: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
6. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
7. Complexity of computation
المؤلف: edited by Richard M. Karp
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
8. Computation engineering
المؤلف: / Ganesh Gopalakrishnan
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computer logic.,Machine theory.
9. Computation engineering
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
10. Discrete mathematics
المؤلف: James L. Hein.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics.,COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.
رده :
QA76
.
9
.
M35
J364
1996
11. Discrete structures and automata theory
المؤلف: Dube, Rakesh
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35D82
12. Finite automata, formal logic, and circuit complexity
المؤلف: Straubing, Howard, 2591-
المکتبة: (طهران)
موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
13. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
المؤلف: Wilfried Brauer...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
14. Fundamentals of computation theory
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985
15. Handbook of Graphical Models
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: BUSINESS & ECONOMICS / Statistics.,Computer Science.,COMPUTERS / Machine Theory.,MATHEMATICS / Probability & Statistics / General.
16. Introduction to deep learning :
المؤلف: Sandro Skansi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.
رده :
QA76
.
9
.
D343
17. Logic and automata
المؤلف: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
18. Logic and automata
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
19. Mathematical aspects of computer science
المؤلف: J. T. Schwartz editor
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Machine theory,Addresses, essays, lectures ، Computer science -- Mathematics
رده :
QA
1
.
P69
Vol
.
19
